Category Theory
---------------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [Mathematics](../Mathematics/README.md#mathematics)_

- - - -


### Web resources

[Category Theory \| Logic Matters](http://www.logicmatters.net/categories/) ★

[computational trinitarianism in nLab](https://ncatlab.org/nlab/show/computational+trinitarianism) ★

[ct.category theory - Is every category a localization of a poset? - MathOverflow](https://mathoverflow.net/questions/403118/is-every-category-a-localization-of-a-poset) ★ [💭](commentary/Chris%20Pressey.md#ctcategory-theory---is-every-category-a-localization-of-a-poset---mathoverflow)

_(in [Type Theory](../Type%20Theory/README.md#type-theory))_ [Recursive Types for Free! (Philip Wadler)](https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt) ★


### Books

Categories, types, and structures (online @ [www.di.ens.fr](https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf)) (borrow @ [archive.org](https://archive.org/details/categoriestypess0000aspe))

Category Theory for Programmers (online @ [bartoszmilewski.com](https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/)) ★